Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...

We review and contrast three ways to make up a formal Euclidean geometry which one might call constructive, in a computational sense. The starting point is the first-order geometry created by Tarski.

When Kleene extended his recursive realizability interpretation from intuitionistic arithmetic to analysis, he was forced to use more than recursive functions to interpret sequences and conditional constructions. In fact, he used what classically appears to be the full continuum. We describe here a generalization to higher type of Kleene's realizability, one case of which, -realizability, uses general recursive functions throughout, both to realize theorems and to interpret choice sequences. -realizability validates a version of the bar theorem and the usual continuity (...) principles, while also providing naturally, as Kleene's 1965 realizability does not, for versions of lawless sequence axioms, as well as of Church's Thesis. (shrink)

We describe a first order axiom set which yields the classical first order Euclidean geometry of Tarski when used with classical logic, and yields an intuitionistic Euclidean geometry when used with intuitionistic logic. The first order language has a single six place atomic predicate and no function symbols. The intuitionistic system has a computational interpretation in recursive function theory, that is, a realizability interpretation analogous to those given by Kleene for intuitionistic arithmetic and analysis. This interpretation shows the unprovability in (...) the intuitionistic theory of certain “nonconstructive” theorems of the classical geometry. (shrink)

In Nuu-chah-nulth, the word tsawalk means "one." It expresses the view that all living things - humans, plants, and animals - form part of an integrated whole brought into harmony through constant negotiation and mutual respect for the other. Contemporary environmental and political crises, however, reflect a world out of balance, a world in which Western approaches for sustainable living are not working. In Principles of Tsawalk, hereditary chief Umeek builds upon his previous book, Tsawalk: A Nuu-chah-nulth Worldview, to elaborate (...) an alternative framework for responding to global environmental and political crises and to indigenous peoples' poverty, dispossession, and displacement in the realms of education and politics. These problems, Umeek argues, stem from an historical and persistent failure to treat all peoples and life forms with respect and accord them constitutional recognition. By contrast, the Nuu-chah-nulth principles of recognition, consent, and continuity, embodied in songs, language, and ceremonies, hold the promise of achieving sustainable lifeways in this shared struggle for balance. By weaving together Nuu-chah-nulth and Western worldviews, hereditary chief Umeek creates a new philosophical foundation for building more equitable and sustainable communities. Umeek (E. Richard Atleo), a hereditary Nuu-chah-nulth chief, is a research liaison at the University of Manitoba and an associate adjunct professor at the University of Victoria. He is the author of Tsawalk: A Nuu-chah-nulth Worldview. (shrink)

Summary The positions of 129 14 to 19?year?old students on two fundamental cognitive styles dimensions (Wholist?Analytic and Verbal?Imagery) were assessed. They then received, by random allocation, one of three versions of a computer?presented instruction package on home hot water systems. The versions differed in terms of their structure (large versus small step), advance organiser (absent or present), verbal emphasis (high versus low), and diagram type (abstract versus pictorial). Version 1 had large step, no organiser, high verbal content, and abstract diagram. (...) Version 2 had small step, no organiser, low verbal content, and pictorial diagram. Version 3 was identical to Version 2, except that an organiser in the form of an elaborated introduction was given in which all five topics were introduced and each section began with an overview and ended with a summary. There was a significant interaction between version and cognitive style in their effect on recall. The results were discussed in terms of their implications for instruction. (shrink)

Pluralism in Theory and Practice not only brings McKeon to the attention of contemporary philosophers and students; it also puts his theories into practice. Some of the essays explicate aspects of McKeon's thought or situate him in the context of American intellectual and practical engagement. Others take the concerns he raised as starting points for inquiries into urgent contemporary problems, or, in some cases, for reexamining McKeon's work as fertile ground for shaping the direction of new investigation.

As the expansion of the Internet and the digital formatting of all kinds of creative works move us further into the information age, intellectual property issues have become paramount. Computer programs costing thousands of research dollars are now copied in an instant. People who would recoil at the thought of stealing cars, computers, or VCRs regularly steal software or copy their favorite music from a friend's CD. Since the Web has no national boundaries, these issues are international concerns. The contributors-philosophers, (...) legal theorists, and business scholars, among others-address questions such as: Can abstract ideas be owned? How does the violation of intellectual property rights compare to the violation of physical property rights? Can computer software and other digital information be protected? And how should legal systems accommodate the ownership of intellectual property in an information age? Intellectual Property is a lively examination of these and other issues, and an invaluable resource for librarians, lawyers, businesspeople, and scholars. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

While tens of thousands of people across the United States serve on hospital and other healthcare ethics committees , almost no carefully prepared educational material exists for HEC members. Ethics by Committee is a one volume collection of chapters developed exclusively for this educational purpose. Experts in bioethics, clinical consultation, health law, and social psychology from across the country contribute chapters on ethics consultation, education, and policy development.

Pragmatism is the distinctive contribution of American thought to philosophy. It is a movement that attracted much attention in the early part of the twentieth-century, went into decline, and reemerged in the last part of the century. Part of the difficulty in defining pragmatism is that misconceptions of what pragmatism means have abounded since its beginning, and continue in today’s “neopragmatism.”.

Current historiography has considered eugenics to be an emanation from state structures or a movement which sought to appeal to the state in order to implement eugenic reform. This paper examines the limitations of that view and argues that it is necessary to expand our horizons to consider particularly working-class eugenics movements that were based on the dissemination of knowledge about sex and which did not aspire to positions of political power. The paper argues that anarchism, with its contradictory practice (...) afforded by the convulsive social situation of the Civil War in Spain, allows us to assess critically the parameters of the social action of eugenics, its many alliances, and its struggle for existence in changing political circumstances not of its own making. (shrink)

This paper uses the friendship and collaboration of Edwin Ray Lankester , zoologist, and Herbert George Wells , novelist and journalist, to challenge the current interpretation of late Victorian concern over degeneration as essentially an intellectual movement with little influence in contemporary debates over social and political problems. Degeneration theory provided for Lankester and Wells the basis both for a personal bond and for an active programme of social and educational reform. I trace the construction of Lankester’s account of degeneration, (...) initially as empirical ‘fact’ and later as ideologically inflected theory, and the reciprocal relationship between this theory and his critique of the British university system. I use Wells’s Outline of history to illustrate the profound influence of Lankester’s degenerationist worldview on Wells’s scientific and socio-political thought. Lankester’s synthesis of his theory and his critique led the two men to reject eugenics as an unscientific and ideologically incompatible solution to the problem of national deterioration. Instead, they campaigned for the reform of scientific education as a means of keeping mankind from physical, intellectual and cultural degeneration. (shrink)

The Method of Zen. Eugen Herrigel. Routledge/Arkana, London 1988. 102 pp., pbk £3.95.